Providing a Proof-Theoretical Basis for Explanation: A Case Study on UML and ALCQI Reasoning
نویسندگان
چکیده
In this article we argue in favour of Natural Deduction Systems as a basis for formal proof explanations. We illustrate our choice presenting a Natural Deduction for ALCQI and use it to help explain UML reasoning.
منابع مشابه
Reasoning on UML class diagrams
UML is the de-facto standard formalism for software design and analysis. To support the design of large-scale industrial applications, sophisticated CASE tools are available on the market, that provide a user-friendly environment for editing, storing, and accessing multiple UML diagrams. It would be highly desirable to equip such CASE tools with automated reasoning capabilities, such as those s...
متن کاملExplanation of functional factors affecting the success of public spaces and providing a model for assessing success through its functional dimension (Case study: Imam Khomeini Street, Tabriz, Iran)
The condition that varieties of cities including Iranian cities are confronted makes the creation of successful public space a necessity. It is clear that for creating suitable public space first we should understand the influencing factors on space and simultaneously solve and improve the problems through understanding the environment. For achieving the factors that influence the success as a ...
متن کاملFinite Model Reasoning in DL-Lite with Cardinality Constraints
The relationship of description logics (DLs) and conceptual modelling has been extensively studied in the literature [5, 4, 1]. One of the advantages of using description logics as modelling languages is that along with their capability of representing knowledge they provide also reasoning services. More precisely, a conceptual model can be represented by a DL ontology (TBox), and standard reas...
متن کاملReasoning on UML Class Diagrams using Description Logic Based Systems
In this paper we study how automated reasoning systems based on Description Logics (DLs) can be used for reasoning about UML class diagrams. The ability of reasoning automatically on UML class diagrams makes it possible to provide computer aided support during the application design phase in order to automatically detect relevant properties, such as inconsistencies and redundancies. We show tha...
متن کاملThe formalisation of ORM2 and its encoding in OWL2
The Object Role Modelling language (ORM2) is a conceptual modelling language similar to UML and ER, adopted by Visual Studio, the integrated development environment from Microsoft. This paper introduces a new linear syntax and complete set-theoretic semantics for a generalisation of ORM2, which can be shown correctly embedding the original proposal. A provably correct encoding of the core fragm...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- J. UCS
دوره 16 شماره
صفحات -
تاریخ انتشار 2010